1. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
Author: Berthe Y. Choueiry, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1864
2. Algorithmic Decision Theory
Author: \ Toby Walsh (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Decision making -- Mathematical models -- Congresses.,Decision trees -- Congresses.,Data mining -- Congresses.,تصمیمگیری -- الگوهای ریاضی -- کنگره ها ,درختهای تصمیم -- کنگره ها ,دادهکاوی -- کنگرهها
Classification :
HD
30
.
23
.
A55
2015
E-Book
,
3. Algorithmic Decision Theory
Author: / Toby Walsh
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
4. Handbook of constraint programming
Author: / edited by Francesca Rossi, Peter van Beek, Toby Walsh
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Constraint programming (Computer science)
Classification :
QA
76
.
612
.
H35
2006
R
5. Handbook of constraint programming
Author: / edited by Francesca Rossi, Peter van Beek, Toby Walsh
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Constraint programming (Computer science)
Classification :
QA
,
76
.
612
,.
H35
,
2006
6. Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings
Author: Toby Walsh )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2239
7. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
8. SAT2000 : highlights of satisfiability research in the year 2000
Author: /Ian Gent , Hans van Maaren, Toby Walsh.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:
9. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Author: Fahiem Bacchus, Toby Walsh )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
Classification :
QA
76
.
L28
Vol
.
3569
